Integrating State Constraints and Obligations in Situation Calculus
نویسندگان
چکیده
منابع مشابه
Integrating State Constraints and Obligations in Situation Calculus
The ramification problem concerns the characterisation of indirect effects of actions. This problem arises when a theory of action is integrated with a set of state constraints. So integrating state constraints to a solution of the frame problem must deal with the ramification problem. In the situation calculus a general solution to both the frame and ramification problems has been proposed. Th...
متن کاملReasoning about State Constraints in the Situation Calculus
In dynamic systems, state constraints are formulas that hold in every reachable state. It has been shown that state constraints can be used to greatly reduce the planning search space. They are also useful in program verification. In this paper, we propose a sound but incomplete method for automatic verification and discovery of ∀∗∃∗ state constraints for a class of action theories that include...
متن کاملAutomating Proofs of Integrity Constraints in Situation Calculus
Automated support for proving integrity constraints (ICs) on deductive database update speciications is developed using an induction theorem prover, Rewrite Rule Laboratory (RRL) 6]. The approach proposed by Reiter 9, 11, 10] for solving the frame problem for such applications in a language of the situation calculus is used as a basic framework. Integrity constraints are propositions that are e...
متن کاملModeling Obligations with Event-Calculus
Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We propose an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.
متن کاملThe Situation and State Calculus versus Branching Temporal Logic
The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of state of a given situation is usually characterized by the set of uents that hold in that situation. However, this concept is insuucient for system speciication. To overcome this limitation, an extension of SC is proposed, the situation and state calculus (SSC), where the concept of state is primitiv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: INTELIGENCIA ARTIFICIAL
سال: 2009
ISSN: 1988-3064
DOI: 10.4114/ia.v13i41.1030